#include <limits.h>
#include <stdio.h>

#include <iostream>

using namespace std;

int main() {
  long long n = 0, ans = 0;
  scanf("%d", &n);
  ans = (1 + n) * n / 2;
  cout << ans << endl;
  return 0;
}